TSTP Solution File: DAT180^1 by Nitpick---2016